
package statechurn
import primitives.graph.*;
/**
 *
 * @author mat
 */
class FSMGenerator {
    
    public static void main(String[] args){
        if(args.size() < 1){
            println "Usage: PTAMaker traces.txt"
            System.exit(-1);
        }
        
        def tp = new PTAMaker();
        println "Loading traces from ${args[0]}";
        def nodes = tp.loadPTAFromTraces(new File( args[0]));
        println "Loaded and generated PTA, running k-tails on ${nodes.size()} nodes"
        KTails kt = new KTails(nodes, tp.k);
        
        Graph g = kt.doKTails();
        
        
    }
    
	
}

